home *** CD-ROM | disk | FTP | other *** search
/ Meeting Pearls 1 / Meeting Pearls Vol 1 (1994).iso / installed_progs / text / faqs / comp-lang-ada.cla-faq1 < prev    next >
Encoding:
Internet Message Format  |  1993-12-17  |  38.9 KB

  1. Subject: comp.lang.ada FAQ 1/2
  2. Newsgroups: comp.lang.ada,news.answers,comp.answers
  3. From: cla-faq@ajpo.sei.cmu.edu (Ada Info. Clearinghouse)
  4. Date: Thu, 16 Dec 1993 13:53:20 EST
  5.  
  6. Archive-name: comp-lang-ada/cla-faq1
  7.  
  8.  
  9. comp.lang.ada Frequently Asked Questions (FAQ) part 1 of 2
  10.  
  11. Effective date: 15 Dec 93
  12.  
  13. Currently, the comp.lang.ada FAQ is maintained by the Ada Information
  14. Clearinghouse (cla-faq@ajpo.sei.cmu.edu).  It is available for
  15. downloading via anonymous FTP from the AJPO host (ajpo.sei.cmu.edu)
  16. from the public/comp-lang-ada subdirectory as files cla-faq1 and
  17. cla-faq2.  It's also available on rtfm.mit.edu, which archives FAQ
  18. files posted to news.answers.
  19.  
  20. (For notes on FTP, or the lack thereof, see questions 25) and 26).)
  21.  
  22. Frequency: This will be posted every other month to comp.lang.ada,
  23. news.answers, and comp.answers.
  24.  
  25. Other than minor editing/typo changes, changes since the last FAQ are:
  26. 3) added note on gnu-ada mode (available in PAL); 6) added information
  27. on OS/2 version of GNAT; 9) deleted reference to Ada 9X Bulletin Board
  28. (now closed -- 9X files are available on AJPO host), and corrected ZIP
  29. code; 14) corrected host address (ftp.cnam.fr); 16) address changes,
  30. added reference (R.R.  Software); 18) e-mail address change for
  31. EVB/GRAMMI; 23) POSIX/Ada package specifications available on AJPO
  32. host and PAL; 19) Alsys address update.
  33.  
  34. Individuals are encouraged to submit both questions and answers.  In
  35. many answers below, submitters are noted in parentheses at the
  36. beginning of comments.  (Comments may be slightly edited.)
  37.  
  38. It should be noted that report of a product, service, or event, etc.,
  39. does not constitute an endorsement by the AdaIC or the Ada Joint
  40. Program Office.  Opinions expressed are those of the submitters.
  41.  
  42. Table of Contents:
  43.  
  44.    1) Where can I get a list of validated Ada compilers?
  45.    2) Where can I get a yacc/ayacc grammar to read Ada code?
  46.    3) Is there an Ada-mode for Emacs?
  47.    4) You know, I think Ada could really benefit from having
  48.       <choose_a_feature> from <choose_a_language>...
  49.    5) I just saw a very anti-Ada post that I think is definitely
  50.       wrong.  Why didn't anybody post a response to it?  Should I?
  51.    6) Where can I get a public-domain Ada compiler or interpreter?
  52.    7) Is Ada a registered trademark of the US government?
  53.    8) I have seen the language name capitalized as ADA, as well as
  54.       Ada.  Which is right?
  55.    9) What is Ada 9X?
  56.   10) What is Anna, and where can I get it?
  57.   11) What is DRAGOON, and where can I get it?
  58.   12) Does anyone have a list of commercial Ada projects?
  59.   13) Are there versions of lex and yacc that generate Ada code?
  60.   14) What ftp sites exist that contain information about Ada or Ada
  61.       source?
  62.   15) What organizations exist that deal with Ada and Ada issues?
  63.       (Long)
  64.   16) What cheap (<500$) Ada compilers are available?
  65.   17) Are there any dial-up BBS systems that deal with Ada?
  66.   18) Does anyone know where I can get bindings for Ada?  X-Windows?
  67.       Others?  (See 22 and 23 for specific reference to POSIX.)
  68.   19) Is there a list of Ada compiler vendor e-mail contacts?
  69.   20) Is there a list of good Ada books?  (Long)
  70.   21) Where can I get language translators?  And should I?
  71.   22) What is the status of the POSIX/Ada work?
  72.   23) How can I get a copy of POSIX/Ada?  Is it available via FTP?
  73.   24) Where can I get Ada benchmark programs?
  74.   25) The AJPO host has a lot of Ada information files available for
  75.       downloading by anonymous FTP.  But I don't have FTP service on
  76.       the Internet host where I have an account.  Is there any way I
  77.       can get those files?
  78.   26) What is ASIS?
  79.   27) How can I find out more about ASIS?  Can I take part in
  80.       development?
  81.   28) How can I get hold of ASIS?
  82.   29) Are there any free, public-domain, or other general-access
  83.       software repositories that contain Ada source code and
  84.       information on reuse?
  85.  
  86.  
  87.  1) Where can I get a list of validated Ada compilers?
  88.  
  89.       (from tjmesler@vnet.ibm.com)
  90.  
  91.       By anonymous ftp from ajpo.sei.cmu.edu.  The latest list is in
  92.       the /public/ada-info directory.  Only the latest list is kept;
  93.       it has the name val-comp.hlp.ddmmmyy, where dd stands for date,
  94.       mmm for month (3-letter abreviation), and yy stands for year.
  95.       For example, the current list is val-comp.hlp.01Dec93.  If the
  96.       list is updated during the month, the previous one is deleted
  97.       and the date part of the name of the file will change.
  98.  
  99.  2) Where can I get a yacc/ayacc grammar to read Ada code?
  100.  
  101.       (from garym@flash.telesoft.com (Gary Morris @lone))
  102.  
  103.       masticol@dumas.rutgers.edu has kindly sent in a yacc and lex
  104.       grammar for Ada.  It's available via FTP from the archives at
  105.       primost.cs.wisc.edu and via e-mail from the compilers server at
  106.       compilers-server@iecc.cambridge.ma.us.
  107.  
  108.  3) Is there an Ada-mode for Emacs?
  109.  
  110.       (from boubaker@mailhost.cenatls.cena.dgac.fr (Heddy Boubaker))
  111.  
  112.       There are, in fact, 3 ada modes for emacs
  113.  
  114.       - There is a simple ada-mode shipped as part of the emacs
  115.         distribution.
  116.  
  117.       - a more elaborate one from Steven D. Litvintchouk of Mitre
  118.         Corp called electric-ada
  119.  
  120.       - and gnu-ada mode.  Here is a small description of the features
  121.         of this mode:
  122.  
  123.           1/ Compile programs within emacs
  124.           Run compiler as inferior of Emacs, and parse its error
  125.           messages.  NOTE: I believe that this feature will only work
  126.           with VADS, but it might have been tailored to work with
  127.           other compilers.
  128.  
  129.           2/ Ada dired
  130.           It supplies a form of dired that helps manage the VADS
  131.           environment, and it adds ADA vads commands into ada mode.
  132.           Unlike a previous dired-ada implementation, this version
  133.           uses the existing dired mode functions except where there is
  134.           unresolvable conflict.  Thus, this is more like a minor mode
  135.           to dired.  Very important because on actual version of emacs
  136.           19(beta), in fact lemacs (lucid emacs), dired has changed
  137.           and we can no longer use gnu-ada mode :-(
  138.  
  139.           3/ you can consult Ada LRM(*) during parsing error message.
  140.           (*)You can get one in wsmr-simtel20.army.mil or any
  141.           mirror site.
  142.  
  143.           4/ smart indentation
  144.           Tries hard to do all the indenting automatically.
  145.           Emphasizes correct insertion of new code using smart
  146.           templates.
  147.  
  148.           5/ Smart template commands (bnf)
  149.           This is essentially a bnf processor/language-sensitive
  150.           editor.  The next message will give you an ada bnf file that
  151.           you can use within ada-mode to expand nonterminals.  But you
  152.           can roll your own grammars (e.g., your design grammar or an
  153.           ADL) and put them in *.bnf files ..
  154.           ; The BNF rule set is stored as a list of rules.
  155.  
  156.           6/ debugging Ada programs within emacs
  157.           A facility is provided for the simultaneous display of the
  158.           source code in one window, while using a.db to step through
  159.           a function in the other.  A small arrow "=>" in the source
  160.           window, indicates the current line.
  161.  
  162.           7/ Move from procedure to procedure or package to package
  163.           ...
  164.  
  165.           8/ tags Ada
  166.  
  167.           9/ and other things ...
  168.  
  169.       (from obry@enthuse.bellcore.com (Pascal OBRY))
  170.  
  171.       You can find the gnu-ada mode in ajpo.sei.cmu.edu cd
  172.       /public/infoada/gnu file r1.06a-ada.tar.Z
  173.  
  174.       Also, you can now find the gnu-ada mode in the PAL. (See
  175.       question 29).) It's under the subdirectory
  176.       languages/ada/swtools/emacs/adamode.
  177.  
  178.  4) You know, I think Ada could really benefit from having
  179.       <choose_a_feature> from <choose_a_language>
  180.     or
  181.     You know, I think Ada is clearly <inferior_or_superior> to
  182.       <choose_a_language> because it has <choose_a_feature>
  183.  
  184.       (from drew@verdix.com (Drew Johnson))
  185.  
  186.       Such posts almost always result in religious wars about langauge
  187.       and produce only wasted bandwidth.  PLEASE refrain from such
  188.       posts unless you have a specific question about Ada.  For
  189.       example, the following kind of question *is* appropriate: "In
  190.       <choose_a_language> I can do <choose_a_feature>.  How would I go
  191.       about doing this in Ada?"
  192.  
  193.  5) I just saw a very anti-Ada post that I think is definitely wrong.
  194.     Why didn't anybody post a response to it?  Should I?
  195.  
  196.       (from drew@verdix.com (Drew Johnson))
  197.  
  198.       Ada apparently gets more than its share of attacks, probably due
  199.       to its unique origins, and the fact that it is a requirement for
  200.       some government software.  For the same reasons as in (4) above,
  201.       PLEASE refrain from posting a response to these, unless you feel
  202.       there is something of *significant* importance that you can
  203.       contribute.  Posts containing factual corrections are probably
  204.       OK, but posts like "Well, I've used Ada on many projects, and
  205.       all have been very successful" accomplish nothing.  If you are
  206.       really dead-set on driving your point home to the poster, you
  207.       can do it via e-mail.
  208.  
  209.  6) Where can I get a public-domain Ada compiler or interpreter?
  210.  
  211.       You have choices: Ada/Ed for Ada 83, and GNAT for Ada 9X.
  212.  
  213.       (Strictly speaking, though, these aren't "public-domain".
  214.       They're *free*, but they're under GNU "copyleft".  That means
  215.       there's no warranty, and you're free to copy, modify, and
  216.       distribute them; but you can't charge anyone, and distributed
  217.       source code has got to be freely copyable, etc., by everyone
  218.       else.)
  219.  
  220.       a.  The Ada/Ed interpreter for Ada 83 is available from the New
  221.       York University host (cs.nyu.edu, Internet address
  222.       128.122.140.24).  It's in the ftp/pub/adaed directory.  There's
  223.       a version for UNIX-based machines, and a version for 386/486 DOS
  224.       machines.
  225.  
  226.       Interpreter for Ada 83:
  227.       (from mfeldman@cs.washington.edu (Michael Feldman))
  228.  
  229.       Ada/Ed is available for PCs, Unix-based machines, Amiga, and
  230.       Atari systems.  Excerpt from the Ada/Ed README:
  231.  
  232.       Ada/Ed is a translator-interpreter for Ada.  It is intended as a
  233.       teaching tool, and does not have the capacity, performance, or
  234.       robustness of commercial Ada compilers.  Ada/Ed was developed at
  235.       New York University, as part of a long-range project in language
  236.       definition and software prototyping.  The project produced the
  237.       first validated translator for Ada, in the form of an executable
  238.       definition of the language written in SETL.  The SETL system
  239.       served as design document and prototype for the C version
  240.       [available from the NYU host].
  241.  
  242.       Ada/Ed was last validated under version 1.7 of the ACVC tests.
  243.       Therefore it is not currently a validated Ada system, and users
  244.       can expect to find small discrepancies between Ada/Ed and
  245.       currently validated compilers.
  246.  
  247.       Apart from the 100-odd tests of ACVC 1.11 that Ada/Ed currently
  248.       fails, the major deficiency of the system is that, being an
  249.       interpreter, it does not implement most representation clauses,
  250.       and thus does not support systems programming close to the
  251.       machine level.
  252.  
  253.       b.  GW-Ada/Ed -- a souped-up version of Ada/Ed for 386/486 DOS
  254.       machines.
  255.  
  256.       A new distribution of GW-Ada/Ed is available on WUARCHIVE.  This
  257.       software can be acquired by anonymous ftp from
  258.       wuarchive.wustl.edu, and is located in the directory
  259.       languages/ada/compiler/adaed/gwu/9309/dos.
  260.  
  261.       This project was sponsored by The George Washington University,
  262.       and in part by the United States Advanced Research Projects
  263.       Agency (ARPA).
  264.  
  265.       This distribution contains the executables for GWAda, which
  266.       consists of the NYU Ada/Ed translator/interpreter system for
  267.       DOS, together with an integrated editor developed by Prof.
  268.       Arthur Vargas Lopes of the Pontifical University at Porto
  269.       Alegre, Brazil.  Lopes began his work on GWAda while he was a
  270.       doctoral student at The George Washington University.  There is
  271.       also a very nice extended runtime facility, with interesting
  272.       kinds of source tracing.
  273.  
  274.       GWAda is being freely distributed at no charge.  In the near
  275.       future the developers will make the source code available under
  276.       the GNU General Public License.  Source code is not being
  277.       provided because the system is still in the developmental stage.
  278.       Source code for Ada/Ed itself is available from NYU and from
  279.       WUARCHIVE.
  280.  
  281.       Note that you do not have to use the GWAda integrated
  282.       environment, but can execute the various parts of NYU Ada/Ed
  283.       from the DOS command line, as described in the NYU instructions.
  284.  
  285.       System requirements: IBM PC Compatible, 386 or 486, running
  286.       MS-DOS or PC-DOS at least 3.6 MB available extended memory at
  287.       least 5 MB free hard-disk space.
  288.  
  289.       c.1.  Ada 9X compiler -- The GNU Ada Translator (GNAT),
  290.       availability: GNAT is available from the New York University
  291.       host (cs.nyu.edu, Internet address 128.122.140.24).  It's in the
  292.       ftp/pub/gnat directory.  There's a version for UNIX-based
  293.       machines, and a version for 386/486 OS/2 machines.
  294.  
  295.       It's also available in Public Ada Library (PAL -- formerly the
  296.       Ada Software Repository).  The PAL is located on
  297.       wuarchive.wustl.edu (Internet address: 128.252.135.4).
  298.  
  299.       You can also get a copy from the AdaIC Bulletin Board.  But this
  300.       is a dial-up operation (703/614-0215), and since the files
  301.       sizes are large, connect times may be lengthy.  The bulletin
  302.       board is best used as a back-up source for those who don't have
  303.       Internet/FTP access.
  304.  
  305.       c.2.  Ada 9X compiler -- The GNU Ada Translator (GNAT), general:
  306.       (extracted from "Free Source Code for GNAT 9X Compiler to be
  307.       Available on Internet", by Robert Dewar and Edmond Schonberg,
  308.       New York University, Ada Information Clearinghouse Newsletter
  309.       August 1993)
  310.  
  311.       The Computer Science Department of the Courant Institute of
  312.       Mathematical Sciences at New York University received a contract
  313.       from the Ada 9X Project Office, under the direction of Christine
  314.       M. Anderson, to develop a GNU/Ada system.  The work is being
  315.       cosponsored by ARPA and the Ada Joint Program Office.
  316.  
  317.       Final delivery is due at the end of December 1993.  The first
  318.       interim delivery will be at the Tri-Ada conference, Sept. 18th.
  319.  
  320.       The final delivery will be a full Ada-9X implementation with as
  321.       much of the core language and annexes implemented as possible.
  322.       Given the fact that Ada 9X will not be standardized until
  323.       sometime in 1994, the December delivery might differ in small
  324.       respects from the eventual international standard.
  325.  
  326.       At final delivery, the developers expect to demonstrate to the
  327.       Ada community a reasonably complete and solid implementation of
  328.       the core language, and at least part of the language annexes.
  329.       This delivery will include full sources, and executables for at
  330.       least the Sun Sparc and PC on OS/2.  (On PCs, GNAT will need a
  331.       full 32-bit environment with several megabytes of memory.)
  332.  
  333.       There are a number of official GNAT net addresses:
  334.  
  335.       gnat-request@cs.nyu.edu
  336.  
  337.       Send a message to this address to be placed on our external
  338.       mailing list.  We send out progress reports, technical reports,
  339.       digests of technical comments and other information.
  340.  
  341.       gnatchat@cs.nyu.edu
  342.  
  343.       Send messages to this address for our general consideration.
  344.       Where appropriate, we will digest these comments for
  345.       redistribution to the external mailing list -- unless you
  346.       specifically request that they be considered private.
  347.  
  348.       gnat-report@cs.nyu.edu
  349.  
  350.       This address is to be used specifically to report problems with
  351.       the currently available version of the GNAT system.  Please be
  352.       as specific as possible in reporting problems.  Do not report
  353.       missing features for now!
  354.  
  355.       c.3.  Ada 9X compiler -- The GNU Ada Translator (GNAT), OS/2:
  356.       (Extracted from readme1.gnt file for the GNAT Nov 3, 1993,
  357.       release.)
  358.  
  359.       The executables and sources for the OS/2 version of GNAT are
  360.       split and compressed into two files, each of which can fit on
  361.       one 3.5-inch high-density diskette.  Although it is possible to
  362.       install GNAT on an OS/2 machine on FAT (MS-DOS-compatble)
  363.       partition, such an installation will not be fully functional.
  364.       In fact, GNAT does not support installations on FAT partitions.
  365.       You will need about 8.5 MB of free disk space after you have
  366.       copied the appropriate files to your hard drive.  About half of
  367.       this amount is taken up by the source code.
  368.  
  369.       (In case you want to modify and re-compile GNAT, you will need
  370.       about 24 MB of free disk space after you have installed GNAT for
  371.       OS/2 and copied the necessary source files to your hard drive.)
  372.  
  373.  7) Is Ada a registered trademark of the US government?
  374.  
  375.       (from the AdaIC)
  376.  
  377.       No, but it used to be; there's a "certification mark", though,
  378.       which is to be used only for validated compilers.
  379.  
  380.       Prior to November 30, 1987, the name "Ada" was a registered
  381.       trademark.  In the December 1987 issue of the Ada Information
  382.       Clearinghouse Newsletter, Ms. Virginia Castor, then Director of
  383.       the Ada Joint Program Office (AJPO), announced that the
  384.       Department of Defense would thereafter rely on a certification
  385.       mark instead of a trademark.
  386.  
  387.       (The certification mark is a Pentagon-shaped symbol with a
  388.       "Validated Ada" message, and can be seen on the documentation of
  389.       validated Ada compilers.)
  390.  
  391.       The text of the 1987 AJPO announcement is available as an AdaIC
  392.       file (trademrk.hlp.04Jun93) in the public/ada-info directory on
  393.       the AJPO host (ajpo.sei.cmu.edu).
  394.  
  395. 8) I have seen the language name capitalized as ADA, as well as Ada.  Which
  396.    is right?
  397.  
  398.       (from drew@verdix.com (Drew Johnson))
  399.  
  400.       The correct capitalization is Ada.  It's a proper name, for Ada
  401.       Lovelace (1815-1852), who is regarded to be the world's first
  402.       programmer.
  403.  
  404.       Using all-caps usually implies an acronym, and we are not
  405.       talking about the American Dental Association :).
  406.  
  407. 9) What is Ada 9X?
  408.  
  409.       (from drew@verdix.com (Drew Johnson))
  410.  
  411.       Ada 9X refers to the revised version of Ada.  (Ada 83 is the
  412.       current ANSI/ISO standard.)  The Ada 9X Project Office is
  413.       responsible for the revision, and is working closely with the
  414.       international community to ensure Ada retains its ISO status.
  415.       The Ada 9X process is very open.  Volunteer Reviewers are
  416.       welcome and should contact ada9x-vr@ajpo.sei.cmu.edu.  Many
  417.       documents are available for downloading from the ada9x directory
  418.       on the AJPO host (ajpo.sei.cmu.edu -- see questions 25) and 26)
  419.       for more information.)  For further information, contact the Ada
  420.       9X Project Office, PL/VTES, Kirtland AFB, New Mexico 87117-5776.
  421.  
  422.       Ada 9X includes three major areas of enhancement: support for
  423.       object-oriented programming, programming-in-the-large, and
  424.       realtime systems.
  425.  
  426.       A great deal of attention is being focused on transitioning to
  427.       Ada 9X.  The validation test suite will be available early (in
  428.       draft form prior to ANSI/ISO approval with official release 3
  429.       months after ANSI/ISO approval).  However, for a two-year period
  430.       vendors will be able to focus on enhanced areas of the language
  431.       that their customer base wants first; i.e., the first validation
  432.       test suite will be modularly constructed.  Vendors are also
  433.       being encouraged to release beta-versions of their Ada 9X
  434.       implementations prior to validation.
  435.  
  436.       There will also be a GNU Ada 9X compilation system available in
  437.       late 1993.  (See question 6).)
  438.  
  439. 10) What is Anna, and where can I get it?
  440.  
  441.       (from drew@verdix.com (Drew Johnson))
  442.  
  443.       Anna is a language for formally specifying Ada programs.  It
  444.       extends Ada with various different kinds of specification
  445.       constructs from ones as simple as assertions, to as complex as
  446.       algebraic specifications.  A whole lot of tools have been
  447.       implemented for Anna, including:
  448.  
  449.       1.  The standard DIANA extension packages, parsers,
  450.       pretty-printers.
  451.  
  452.       2.  Semantic checker (very similar to standard semantic checkers
  453.       for programming languages).
  454.  
  455.       3.  Specification analyzer -- this is a tool used to test a
  456.       specification for correctness before a program based on the
  457.       specification is written.
  458.  
  459.       4.  Annotation transformer -- this transforms Anna specification
  460.       constructs into checks on the Ada program that is developed
  461.       based on the specification.  This tool is currently in the
  462.       process of being enhanced so that it can handle at least all the
  463.       legal Ada programs in the ACVC test-suite.
  464.  
  465.       5.  Runtime debugger -- The instrumented program output by (4)
  466.       can be run with a special debugger that allows program debugging
  467.       based on formal specifications.
  468.  
  469.       All tools have been developed in Ada and are therefore extremely
  470.       portable.  Anna has been ported to many platforms, details of
  471.       which can be obtained from the person who handles Anna releases.
  472.       You can send e-mail to anna-request@anna.stanford.edu for
  473.       answers to such questions.  Actually, there is also a mailing
  474.       list -- anna-users@anna.stanford.edu.  Send e-mail to the
  475.       earlier address if you want to get on this list.
  476.  
  477.       One could view Anna and its toolset as a *very* significant
  478.       enhancement of assertions that are provided in languages such as
  479.       C (using the assert statement).  The enhancements are in the
  480.       form of both (1) many more high level specification constructs;
  481.       and (2) more sophisticated tool support.
  482.  
  483.       However, there are those who would not even wish to compare Anna
  484.       with C assertions!  :-)
  485.  
  486.       The Anna tools may be found on the machine anna.stanford.edu in
  487.       the anonymous ftp directory pub/anna.
  488.  
  489. 11) What is DRAGOON, and where can I get it?
  490.  
  491.       (from drew@verdix.com (Drew Johnson))
  492.  
  493.       DRAGOON is a language, implemented as an Ada preprocessor (i.e.,
  494.       generates pure Ada).  DRAGOON supports the development of Ada in
  495.       a truly object-oriented manner, including complete support for
  496.       multiple inheritance.  A very nice feature of DRAGOON not found
  497.       in many OO languages is the concept of "behavioral" inheritance.
  498.       This allows you to keep the concurrent behavior of object
  499.       separated from the object class hierarchy.
  500.  
  501.       The book by Colin Atkinson, "Object-Oriented Reuse, Concurrency
  502.       and Distribution: An Ada-Based Approach" (ACM Press, 1991, ISBN:
  503.       0201565277), is very well written and describes the language
  504.       succinctly and completely.
  505.  
  506.       For a copy of the preprocessor, you can contact:
  507.  
  508.       Mr. Andrea Di Maio
  509.       TXT Ingegneria Informatica S.p.A.
  510.       Via Socrate, 41
  511.       20128 Milan, ITALY
  512.       0039-2-27001001
  513.  
  514. 12) Does anyone have a list of commercial Ada projects?
  515.  
  516.       (from the AdaIC)
  517.  
  518.       a.  The AJPO host on the Internet contains a report of
  519.       Commercial Ada Users Working Group (CAUWG) of the Association
  520.       for Computing Machinery's Special Interest Group on Ada (ACM
  521.       SIGAda).  Dated June 1993, the report is a survey of
  522.       applications from around the world that are written in Ada.
  523.  
  524.       It is in the public/misc directory as file cauwg.txt.
  525.  
  526.       b.  The Ada Information Clearinghouse maintains a list of Ada
  527.       projects that have submitted information for the AdaIC's Ada
  528.       Usage Database.  It is only a sample of Ada projects, but it
  529.       includes both commercial and government-related projects.
  530.       Details on contacting the AdaIC are below (question 15).
  531.  
  532. 13) Are there versions of lex and yacc that generate Ada code?
  533.  
  534.       (from drew@verdix.com (Drew Johnson))
  535.  
  536.       The Arcadia project produced aflex and yacc, that are written in
  537.       Ada and produce Ada code.  These can be found in the STARS
  538.       repository (source.asset.com -- see below), as well as other
  539.       sites.
  540.  
  541. 14) What ftp sites exist that contain information about Ada or Ada source?
  542.  
  543.       (from drew@verdix.com (Drew Johnson))
  544.  
  545.       Public Ada Library (formerly Ada Software Repository):
  546.         wuarchive.wustl.edu
  547.         Internet address: 128.252.135.4
  548.       AJPO and AdaIC: ajpo.sei.cmu.edu
  549.         Internet address: 128.237.2.253 (Note: The numerical address
  550.                           is changing -- it may be out of date by the
  551.                           time you get this.)
  552.       Source for aflex and ayacc: liege.ics.uci.edu (~ftp/pub/irus)
  553.         Internet address: 128.195.1.5, 128.195.13.1
  554.       European Repository: ftp.cnam.fr
  555.         Internet address: 192.33.159.6
  556.  
  557.       Also:
  558.       STARS (Software Technology for Adaptable, Reliable Systems):
  559.       source.asset.com
  560.         Internet Address: 192.131.125.10
  561.         Note: the ASSET host no longer takes anonymous FTP.  To
  562.         request an account, contact: info@source.asset.com
  563.  
  564. 15) What organizations exist that deal with Ada and Ada issues? (Long)
  565.  
  566.       (from the AdaIC)
  567.  
  568.       Ada Joint Program Office (AJPO)
  569.       The AJPO is part of the Department of Defense; it facilitates
  570.       the implementation of the DoD's Software Initiative (Ada)
  571.       throughout the Services, and maintains the integrity of the Ada
  572.       language.  (The AJPO sponsors the AdaIC.)
  573.  
  574.       The address is:
  575.       Ada Joint Program Office
  576.       The Pentagon, 3E1049
  577.       Washington, DC 20301-3081
  578.       703/614-0208 (autovon 224-0208)
  579.       fax: 703/685-7019
  580.  
  581.       The current Director and Deputy Directors are:
  582.  
  583.       Director:                         vacant
  584.  
  585.       Air Force Deputy Director,
  586.       and Acting Director:              Maj M. Dirk Rogers
  587.                                            (rogersd@ajpo.sei.cmu.edu)
  588.  
  589.       Navy Deputy Director:             vacant
  590.  
  591.       Army Deputy Director:             MAJ Charlotte Lee
  592.                                            (leec@ajpo.sei.cmu.edu)
  593.  
  594.       Ada Information Clearinghouse (AdaIC)
  595.       (from adainfo@ajpo.sei.cmu.edu (Michele L. Kee))
  596.  
  597.       Ada Information Clearinghouse
  598.       P.O. Box 46593
  599.       Washington, DC 20050-6593
  600.       1-800-AdaIC-11, 703/685-1477; fax: 703/685-7019
  601.  
  602.       The Ada Information Clearinghouse (AdaIC) provides a full
  603.       spectrum of information on Ada to anyone interested in finding
  604.       out more about the programming language.  IIT Research Institute
  605.       operates the AdaIC for the Ada Joint Program Office (AJPO).  The
  606.       AdaIC publishes a quarterly newsletter, which contains current
  607.       news, Ada conference reports, announcements from the AJPO
  608.       Director, and articles on projects using Ada.  If you would like
  609.       to receive a copy of the AdaIC newsletter, please call and
  610.       request a subscription.  There's no charge.  The AdaIC also
  611.       regularly updates and publishes more than 70 separate
  612.       information flyers.  Flyer topics include:
  613.  
  614.            Ada Validated Compilers
  615.            Ada News and Current Events
  616.            Ada Usage
  617.            Ada 9X Project
  618.            On-line sources of Ada Information
  619.            Ada Bibliographies
  620.            Ada Compiler Validation and Evaluation
  621.            Resources for Ada Education and Training
  622.            Ada Software, Tools, and Interfaces
  623.            Ada Regulations, Policies, and Mandates
  624.            Ada Historical Information
  625.  
  626.       One of the most commonly requested flyers is the Validated
  627.       Compilers List.  This list, which is updated monthly, contains
  628.       Ada compilers that have been validated by the AJPO.  For the
  629.       most current information on validated Ada compilers, contact the
  630.       AdaIC.
  631.  
  632.       *Practically all AdaIC flyers are available via anonymous ftp
  633.       from the AJPO host (ajpo.sei.cmu.edu, in the public/
  634.       directories).*
  635.  
  636.       Association of Computing Machinery's Special Interest Group on
  637.       Ada (ACM SIGAda):
  638.  
  639.       SIGAda's bimonthly publication is Ada Letters: Non-members $37;
  640.       (Annual ACM membership dues, $71; students, $21).  $15 per year
  641.       to ACM members; $10 per year ACM student members.
  642.  
  643.       Association for Computing Machinery, Inc.
  644.       1515 Broadway
  645.       New York, NY 10036
  646.       212/869-7440
  647.  
  648.       SIGAda also has a number of committees and working groups on a
  649.       variety of topics.
  650.  
  651.       ISO Working Group 9 (ISO-IEC/JTC1/SC22/WG9):
  652.       This is a working group that deals with Ada within the
  653.       Internation Standardization Organization.  Within WG-9, are
  654.       several Rapporteur (rap) groups:
  655.  
  656.       CRG: Character Rapporteur Group - International Character Sets
  657.       RRG: Real-Time Rapporteur Group - ExTRA
  658.       NRG: Numerics Rapporteur Group - NUMWG packages
  659.       SRG: SQL Interfaces Rapporteur Group - SAMeDL
  660.       IRG: Information Systems Rapporteur Group - Decimal Arithmetic
  661.       XRG: Ada 9X Rapporteur Group
  662.  
  663.       Ada Rapporteur Group (ARG):
  664.       (from Goodenough@SEI.CMU.EDU)
  665.  
  666.       This is the group responsible for evaluating comments on the Ada
  667.       standard.  Officially, the group is only developing a technical
  668.       report addressing comments and questions concerning the ISO
  669.       standard for Ada.  (Arcane ISO rules prevent the ARG or WG9 from
  670.       issuing "official" interpretations of a standard.)  In practice,
  671.       when a response to a comment is approved by WG9, the response is
  672.       taken into account by the Ada Validation Office and affects the
  673.       test suite.  The documents containing comments on the standard
  674.       and ARG responses are called "Ada Commentaries" and are given
  675.       numbers of the form AI-ddddd/vv, where vv is a version number.
  676.  
  677.       Comments and questions about the Ada standard should be sent to
  678.       ada-comment@ajpo.sei.cmu.edu, using the format specified in the
  679.       Ada standard.  You can receive e-mail notification of an update
  680.       to a commentary (optionally including the text of the
  681.       commentary) by sending a request to
  682.       ada-comment@ajpo.sei.cmu.edu.  Commentaries are generally
  683.       updated only a few times each year.  The text of all
  684.       commentaries is available by anonymous ftp from the AJPO site in
  685.       the account public/ada-comment.  A detailed discussion of ARG
  686.       procedures and the format of commentaries can be found in the
  687.       ada-comment account in the file arg-procedures.doc.  A
  688.       reformatted copy of the Reference Manual that includes
  689.       WG9-approved commentaries is available from Karl Nyberg
  690.       (karl@grebyn.com).
  691.  
  692.       Uniformity Rapporteur Group (URG):
  693.       (from emery@d74sun.mitre.org (David Emery))
  694.  
  695.       Responsible for evaluating Uniformity Issues (UIs).  UIs
  696.       specify/recommend specific choices for the compiler implementor,
  697.       where the language permits implementation freedom.  The
  698.       "canonical example" is UI-8, on integer types.  This UI
  699.       recommends that integers be at least 32 bits, and provides names
  700.       for the other predefined integer types.  The goal of the URG and
  701.       the UI's is to further Ada portability by providing uniform
  702.       implementations of implementation-dependent features commonly
  703.       used by Ada applications.
  704.  
  705. 16) What cheap (<500$) Ada compilers are available?
  706.  
  707.       (See also question 6).)
  708.  
  709.       What follows is absolutely *not* exhaustive, but inexpensive
  710.       compilers are available, and some vendors offer educational
  711.       discounts.  Among those offering educational discounts are
  712.       Alsys, DDC-I, Encore, Harris, IBM, Irvine Compiler, Meridian,
  713.       PSS, Rational, R.R., Tartan, and TeleSoft (now part of Alsys).
  714.  
  715.       Meridian:
  716.       Among choices for inexpensive compilers, Meridian offers one for
  717.       $99.  (Meridian Software Systems (A Verdix Company), 205 Van
  718.       Buren Street - 4th floor, Herndon, VA 22070; contact: Gary
  719.       Newman, 810/653-2522, 703/318-5810.)
  720.  
  721.       Alsys (US pricing only):
  722.       FirstAda for 286 DOS is $595.  It will run on 286 and higher,
  723.       and will generate applications for any x86 PC.  Comes with a
  724.       full toolset.  Alsys does run specials on it periodically.  Call
  725.       Pat Michalowski at 619/457-2700 for more info.
  726.  
  727.       Alsys offers the same compilation system for $144 to qualified
  728.       educational institutions under its LEAP program.  The program
  729.       also offers substantial educational discounts on other Alsys
  730.       products, as well as site license arrangements.  Contact Kathy
  731.       Ruggiero at 617/270-0030 for more info.
  732.  
  733.       Rational:
  734.       Rational provides free software (Rational Apex) to accredited
  735.       educational institutions, including military academies, in the
  736.       United States and Canada.  This is under its Software
  737.       Engineering for Educational Development (SEED) program.  To
  738.       receive information on the program, send your contact
  739.       information via e-mail to SEED_Info@Rational.com.
  740.  
  741.       R.R. Software:
  742.       R.R.'s Janus/Ada Professional Development System -- 60386 MS-DOS
  743.       -- regularly goes for $500.  (R.R® Software, P.O® Box 1512,
  744.       Madison, WI 53701; contact: Randall Brukardt 608/251-3133;
  745.       e-mail: 4269344@mcimail.com.)
  746.  
  747. 17) Are there any dial-up BBS systems that deal with Ada?
  748.  
  749.       AdaIC BBS: (US) 703/614-0215 AUTOVON: 224-0215
  750.  
  751.       (from olender@CS.ColoState.EDU (Kurt Olender))
  752.  
  753.       AdaNet BBS: This is a free service that maintains e-mail
  754.       connections for people not on the internet, an Ada source code
  755.       repository, and a selection of other on-line Ada-related
  756.       documents.  It is sponsored by NASA.  Call 800/444-1458 to
  757.       register for access.
  758.  
  759.       (from carlsons@ajpo.sei.cmu.edu (Susan Carlson))
  760.       (Caveat: Telephone numbers can change without notice.  If we
  761.       find out a number doesn't work, we'll note that, but leave the
  762.       entry in until we're sure the service has actually been
  763.       discontinued.  If you are aware of a better number, please let
  764.       us know.)
  765.  
  766.       Naval Computer Telecommunications Command
  767.       Tel: 804/444-7841 (DSN 564-7841)
  768.  
  769.       Air Force Software Technology Support Center (STSC) BBS
  770.       Tel: 801/774-6509
  771.       Baud: 2400, 1200, 300
  772.       Bits: 8
  773.       Parity: None
  774.       Stop Bits: 1
  775.  
  776.       ACM SIGAda Performance Issues Working Group
  777.       PIWG Ada Benchmarks BBS
  778.       Tel: 412/268-7020
  779.  
  780.       Embedded Systems Programming Magazine BBS
  781.       Tel: 415/905-2689
  782.  
  783. 18) Does anyone know where I can get bindings for Ada?  X-Windows?
  784.     Others?  (See 22) and 23) for specific reference to POSIX.)
  785.  
  786.       General
  787.       The AdaIC (question 15, above) has a report on "Available Ada
  788.       Bindings".  It can be ordered in hardcopy as flyer S82, and it
  789.       can be downloaded from the AdaIC Bulletin Board (703/614-0215)
  790.       as BINDINGS.HLP.  It's also available by anonyomous ftp on the
  791.       AJPO host (ajpo.sei.cmu.edu).
  792.  
  793.       X-Windows
  794.       (from drew@verdix.com (Drew Johnson))
  795.  
  796.       This question turns out to be pretty darn hard to answer easily.
  797.       There are at least three variables that need to be filled:
  798.  
  799.       1) platform where you are going to be running.
  800.       2) compiler you would like to use.
  801.       3) Level/flavor of X you would like to run (e.g., just need
  802.       bindings to Xlib, want Openlook as opposed to Motif, etc).
  803.  
  804.       Once you fill all three of the above, then you can start to get
  805.       answers.  In order to keep the answer brief, I am simply going
  806.       to list companies that offer such products, and locations where
  807.       free versions are available.
  808.  
  809.       Before I give the list, I think a little history is in order.
  810.       The first Xlib bindings that were publically available were done
  811.       by SAIC for STARS.  This implementation had many bugs, but it
  812.       was there, and it was free.  I believe that this version was
  813.       eventually withdrawn from the STARS repository, and has now been
  814.       replaced with a better one.  In addition, SAIC has done an Xt
  815.       implementation based on these Xlib bindings (also for STARS).
  816.       NOTE: the above description may well be inaccurate, and I
  817.       welcome corrections.
  818.  
  819.       Now, for the list.
  820.       NOTE: this list is currently "off the top of my head", and I
  821.       welcome the addition of details and/or corrections.  I currently
  822.       don't have time to go back through the comp.lang.ada archives to
  823.       get full contact info on the companies I am listing below.  I am
  824.       counting on their vigilance to see the FAQ and send me info.
  825.  
  826.       First off, there is a pretty complete list of available bindings
  827.       for X as well as other stuff at the AdaIC.
  828.       site: ajpo.sei.cmu.edu
  829.       location: /public/ada-info/bindings.hlp.06Oct92
  830.       access: anonymous FTP
  831.  
  832.       Free versions:
  833.       STARS: bindings to Xlib and Xt.  Available on
  834.       source.asset.com.
  835.         Note: the ASSET host no longer takes anonymous FTP.  To
  836.         request an account, contact: info@source.asset.com
  837.  
  838.       Non-free versions:
  839.       SERC: bindings to Xlib/Xt/Motif
  840.       contact: well!sercmail@apple.com (Scott Cleveland)
  841.  
  842.       Verdix: bindings to Xlib/Xt/Motif
  843.       (Note that bindings to Xview are included with the SunAda Sun4
  844.       compiler)
  845.       contact: moskow@verdix.com (Paul Moskowitz)
  846.  
  847.       ATC: bindings to Xlib/Xt/Motif
  848.       contact: ???
  849.  
  850.       TeleSoft (now part of Alsys): bindings to Xlib/Xt/Motif
  851.       (TeleWindows)
  852.       (Note that bindings to Xview are included with the TeleSoft Sun4
  853.       compiler)
  854.       contact: philippe@telesoft.com
  855.  
  856.       X-based GUI (Graphical User Interface) Builders:
  857.       Objective (OIS): Screen Machine
  858.       contact: Phil Carrasco (703/264-1900)
  859.  
  860.       TeleSoft (now part of Alsys): TeleUSE
  861.       contact: philippe@telesoft.com
  862.  
  863.       EVB Software Engineering, Inc. : GRAMMI
  864.       contact : info@evb.com
  865.                 or info_server@evb.com with subject "send grammi"
  866.  
  867.       Sun Microsystems: DevGuide
  868.       contact: ???
  869.  
  870.       SERC: UIL-to-Ada code generator
  871.       (not really a GUI-builder, but works with several builders to
  872.       generate Ada instead of other languages).
  873.       contact: well!sercmail@apple.com (Scott Cleveland)
  874.  
  875. 19) Is there a list of Ada compiler vendor e-mail contacts?
  876.  
  877.       Note: The AdaIC's Validated Compiler List now contains e-mail
  878.       addresses for compiler-vendor points of contact.
  879.  
  880.       (from drew@verdix.com (Drew Johnson))
  881.  
  882.       Alsys sales (e-mail contact only): tne@world.std.com (Tom Erickson)
  883.       Alsys sales (voice) Pat Michalowski
  884.       Tel: 619/270-0030
  885.  
  886.       Convex questions: allison@convex.com (Brian Allison)
  887.       Tel: 214/497-4346
  888.  
  889.       Cray questions: det@cray.com (Dave Thersleff)
  890.       Tel: 612/683-5701
  891.       Cray sales: svc@cray.com (Sylvia Crain)
  892.       Tel: 505/988-2468
  893.  
  894.       Harris questions: jeffh@ssd.csd.harris.com (Jeff Hollensen)
  895.  
  896.       IBM/Ada questions: malcho@torolab6.vnet.ibm.com (Don Malcho)
  897.       Tel: 416/448-3727
  898.  
  899.       Intermetrics questions: ryer@inmet.inmet.com (Mike Ryer)
  900.  
  901.       Irvine Compiler Corp (ICC) questions: info@irvine.com
  902.  
  903.       Tartan questions: englert@tartan.com (Susan Englert)
  904.       Tel: 412/856-3600
  905.  
  906.       TeleSoft questions: adasupport@telesoft.com
  907.       Note that TeleSoft is now part of Alsys.)
  908.       Tel: 619/457-2700
  909.       TeleSoft Sales: marketng@telesoft.com (Philippe Collard)
  910.       Tel: 619/457-2700
  911.  
  912.       Verdix questions: drew@verdix.com (Drew Johnson)
  913.       Verdix sales information: moskow@verdix.com (Paul Moskowitz)
  914.       Tel: 800-BUY-VADS
  915.  
  916.                                     ***
  917. concluded in comp.lang.ada Frequently Asked Questions (FAQ) part 2 of 2
  918.                                 (cla-faq2)
  919.                                     ***
  920.  
  921.  
  922.  
  923.  
  924.  
  925.